<?php

class JefePeer extends BaseJefePeer
{
}
